es{-}ek(${\it es}$; $k$; $e$,$v$.$P$($e$;$v$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$e$:es{-}E(${\it es}$). es{-}kind(${\it es}$; $e$) $=$ $k$ $\in$ Knd \& $P$($e$;es{-}val(${\it es}$; $e$))